Abstract Interpretation of Java Bytecode for Immutability Analysis
نویسندگان
چکیده
منابع مشابه
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier
interpretation for Java bytecode verification.Technical Report, Dipartimento di Informatica, Uni-versity of Pisa. [27] Wildmoser, M. (2002) Subroutines and Java bytecodeverification. Master’s thesis. Institut für Informatik Technische Universität München. [28] Cohen, R. (1997) The defensive Java virtual machinespecification. Technical Report, Computational Logic Inc., Austin, Te...
متن کاملNullness Analysis of Java Bytecode via Supercompilation over Abstract Values
Code inspections in the upcoming release of IntelliJ IDEA take into account how binary Java libraries used in a project deal with null references. For this purpose Java libraries are annotated with results of nullness analysis under the hood. The paper reveals one of several nontrivial technical aspects of nullness analysis of Java binaries performed by IDEA: supercompilation over abstract valu...
متن کاملDependence Analysis of Java Bytecode
Understanding program dependencies in a computer program is essential for many software engineering tasks such as program understanding, testing, debugging, reverse engineering, and maintenance. In this paper, we present an approach to dependence analysis of Java bytecode, and discuss some applications of our technique, which include Java bytecode slicing, understanding, and testing.
متن کاملTermination Analysis of Java Bytecode
Introduction: The state of the art in termination analysis includes advanced techniques developed for logic and functional programming [12, 4, 9, 11, 10] and imperative languages [2, 5, 8, 6, 10], as well as for term rewriting systems [10]. In [6, 5] tools for proving termination of large industrial code are presented. However, termination of low-level languages, such as Java bytecode, has rece...
متن کاملCost Analysis of Java Bytecode
Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object-oriented programming features (like dynamic dispatching). This paper addresses these problems and develops a generic framework for the automatic cost analysis of sequential Java bytecode. Our method generates cost relations which define at compile-time the cost of programs ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer Science
سال: 2016
ISSN: 1549-3636
DOI: 10.3844/jcssp.2016.314.322